difference trig identities. There are any references about difference trig identities in here. you can look below.